operator precedence and associativity in prolog